Toy Binary Decision Diagrams
philipzucker.com·1d
Type Checking
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·11h
🌱Minimal ML
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·6h·
🔮Type Inference Visualization
The Mondrian introduction to functional optics
marcosh.github.io·5h·
Discuss: Hacker News
🔍Lens Libraries
TypeScript Flaws (2024)
intercaetera.com·14h·
Discuss: Hacker News
📋Template Compilers
Cactus Language • Semantics 1
inquiryintoinquiry.com·23h
📋Backus-Naur Form
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·2h
🔢Algebraic Datatypes
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·11h
🪜Recursive Descent
Causal Abstractions, Categorically Unified
arxiv.org·11h
💫Effect Systems
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·12h·
Discuss: Hacker News
🔀SSA Construction
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
The Alignment Paradox: Why Transparency Can Breed Deception
lesswrong.com·2h
Effect Inference
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·4h
🧮Theorem Provers
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·11h
📏Linear Logic
Hypernetworks: Neural Networks for Hierarchical Data
sturdystatistics.com·8h
🪜Recursive Descent
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·11h
🎭Staged Interpreters
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Detecting Distillation Data from Reasoning Models
arxiv.org·11h
Type Checking